MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, ...